void run() {
    value s1 = {"hello",    "world" };
    value s2 = {
        "Hallo",
        
        "Welt!"
    };
}
